Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John     details >>
Springer Verlag, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9585, No. 1, Anno: 2016

AI*IA 2015 Advances in Artificial Intelligence
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio     details >>
Springer International Publishing, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9336, No. 1, Anno: 2015

The ICLP 2013 Doctoral Consortium
Gavanelli, Marco; Martin, Gebser     details >>
CAMBRIDGE UNIVERSITY PRESS, THEORY AND PRACTICE OF LOGIC PROGRAMMING
Anno: 2013

18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion"
Gavanelli, Marco; Toni, Mancini     details >>
IOS Press, AI COMMUNICATIONS
Vol. 25, No. 2, Anno: 2012

RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Gavanelli, Marco; T., Mancini     details >>
IOS Press, FUNDAMENTA INFORMATICAE
Anno: 2010

Special Issue on the Italian Conference on Computational Logic: CILC 2009
Gavanelli, Marco; Riguzzi, Fabrizio; Alberto, Pettorossi     details >>
IOS Press, FUNDAMENTA INFORMATICAE
Vol. 105, No. 1-2, Anno: 2010

RCRA 05: giornata di lavoro su analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale
M., Cadoli; Gavanelli, Marco; T., Mancini    
Associazione Italiana per L'intelligenza Artificiale,
Anno: 2005